interfaceGlue(A; I; l; tg; nmr)
== ([xfilter(i.i = source(l);remove-repeats(IdDeq;ma-interface-locs(I))).triggersGlue
== ([(A; (link nmr(0) from x to source(l)); (nmr(1)); ma-interface-ds(I;x); (I(x).2)); 

== ([triggersGlue(A;
== ([triggersGlue(l;
== ([triggersGlue(tg;
== ([triggersGlue(if ma-interface-loc(I;source(l)) then ma-interface-ds(I;source(l)) else  fi ;
== ([triggersGlue((mapl(i.if i = source(l)
== ([triggersGlue(then ma-interface-conds(I;i)
== ([triggersGlue(else es-in-port-conds(A;(link nmr(0) from i to source(l));nmr(1))
== ([triggersGlue(fi ;remove-repeats(IdDeq;ma-interface-locs(I)))))]) 

latex

---

clarification:

interfaceGlue(A; I; l; tg; nmr)
== ([xfilter(i.i = source(l);remove-repeats(IdDeq;ma-interface-locs(I))).triggersGlue
== ([(A; (link nmr(0) from x to source(l)); (nmr(1)); ma-interface-ds(I;x); (IIdDeq(x).2)) / 
== ([[triggersGlue(A;
== ([[triggersGlue(l;
== ([[triggersGlue(tg;
== ([[triggersGlue(if ma-interface-loc(I;source(l)) then ma-interface-ds(I;source(l)) else  fi ;
== ([[triggersGlue(fpf-join-list(KindDeq;mapl(i.if i = source(l)
== ([[triggersGlue(then ma-interface-conds(I;i)
== ([[triggersGlue(else es-in-port-conds(A;(link nmr(0) from i to source(l));nmr(1))
== ([[triggersGlue(fi ;remove-repeats(IdDeq;ma-interface-locs(I))))) / 
== ([[[]]]) 

latex

Definitions

(L), xL.R(x), filter(P;l), b, t.2, f(x), [car / cdr], triggersGlue(A; l; tg; ds; conds), ma-interface-loc(I;i), ma-interface-ds(I;i), , (L), KindDeq, mapl(f;l), x.A(x), if b then t else f fi , a = b, ma-interface-conds(I;i), es-in-port-conds(A;l;tg), (link n from i to j), source(l), f(a), #$n, remove-repeats(eq;L), IdDeq, ma-interface-locs(I), []